consistency of substitutions

[计] 置换的一致性